Core Expressions: An Intermediate Representation for Expressions in C

نویسنده

  • Maksim Orlovich
چکیده

The paper presents a simple representation of C expressions and an algorithm that translates C expressions into this form. The representation can be used as a simple model when designing program analyses. At the same time, it can be used as a compiler intermediate representation to build actual analysis implementations. We describe a formulation of a flow-insensitive, but field-sensitive points-to analysis using this representation. We have implemented this intermediate representation and points-to analysis in CRYSTAL, our program analysis infrastructure. We find core expression very useful in providing a convenient model for program analysis and a simple intermediate compiler representation for C expressions.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Relationship between Cultural Intelligence and Expressions of Gratitude among Iranian Upper-Intermediate EFL Learners

This study investigated the relationship between cultural intelligence and the use of expressions of gratitude among Iranian upper intermediate EFL learners. 50 upper intermediate learners were selected through purposive sampling, with their proficiency level being controlled. A discourse completion test (DCT) for the expressions of gratitude and a cultural intelligence scale were given to the ...

متن کامل

Approximating the Distributions of Singular Quadratic Expressions and their Ratios

Noncentral indefinite quadratic expressions in possibly non- singular normal vectors are represented in terms of the difference of two positive definite quadratic forms and an independently distributed linear combination of standard normal random variables. This result also ap- plies to quadratic forms in singular normal vectors for which no general representation is currently available. The ...

متن کامل

An Intermediate Representation for the Interpretation of Temporal Expressions

The interpretation of temporal expressions in text is an important constituent task for many practical natural language processing tasks, including question-answering, information extraction and text summarisation. Although temporal expressions have long been studied in the research literature, it is only more recently, with the impetus provided by exercises like the ACE Program, that attention...

متن کامل

Steering Clear of Triples: Deriving the Control Flow Graph Directly from the Abstract Syntax Tree in C Programs

This article explores the extension of Morgenthaler's Virtual Control Flow techniqueeMor97], which derives control owwASU86] semantics directly from the Abstract Syntax Tree, from the relatively coarse granularity of syntactic C expressions to the ner granularity of basic block expressions, that is, expressions without embedded control ow. We explain why this is a better level of abstraction fo...

متن کامل

The Interface between Cultural Intelligence and Interlanguage Pragmatics: The Case of Gratitude Speech Act

The process of globalization entails the acquisition of a construct, cultural intelligence, with which EFL students can function appropriately in intercultural situations. This study was, first, intended to find the relationship between cultural intelligence and the use of expressions of gratitude by Iranian EFL learners. Second, it sought to determine whether there were any significant differe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005